Natural deduction - PDFSEARCH.IO - Document Search Engine

Natural deduction
Results: 402

#	Item
101	The Duality of Computation (revision fixing typos and a few errors – JanuaryPierre-Louis Curien Hugo Herbelin Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-11-23 12:28:12 Theoretical computer science Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Natural deduction Lambda calculus Valuation Proof theory Mathematics Mathematical logic
102	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
103	AI4FM mural: an ancient project (long before AI4FM) Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Natural deduction Arts Mural Painting
104	MSFPA Partial Type Checking Algorithm for Type : Type Andreas Abel1,3 Institut f¨ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-15 19:17:47 Symbol Proof theory Deduction Natural deduction
105	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science First-order logic Isabelle Higher-order logic HOL Modal logic Unification Natural deduction Type theory Logic Mathematical logic Theoretical computer science
106	Propositions as [Types] Steve Awodey∗ Andrej Bauer† Institut Mittag-Leffler Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:17:44 Proof theory Deduction Algebraic topology Curry–Howard correspondence Philosophy of computer science Type theory Entailment Sheaf Natural deduction Logic Abstract algebra Mathematics
107	Part VIII Miscellaneous Tax, Subpart 02 Gas Severance Tax Chapter 02 Determining the Sales Price or Market Value of Natural Gas 100 Add to Reading List Source URL: www.dor.ms.gov Language: English - Date: 2015-04-01 10:56:20 Taxation in the United States Itemized deduction Money Business Above-the-line deduction Fuel gas Natural gas Tax
108	A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:06 Logic in computer science Proof theory Dependently typed programming Type theory Deduction Natural deduction Curry–Howard correspondence Logical framework Symbol Logic Mathematics Mathematical logic
109	Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems Koji Nakazawa∗ Makoto Tatsuta† Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-03 17:31:32 Mathematics Proof theory Lambda calculus Type theory Natural deduction Symbol Entailment System F Curry–Howard correspondence Logic Mathematical logic Deduction